Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
211	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-19 09:57:02 Compiler construction Formal languages LL parser Dependency grammar Linear programming Parse tree Conditional random field Combinatory logic Directed graph Mathematics Graph theory Theoretical computer science
212	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
213	Coordination Logi ? Bernd Finkbeiner1 and Sven S hewe2 1 Universitat des Saarlandes University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2010-08-16 15:28:31 Logi Realizability Mathematics Logic Abstraction Linear temporal logic Temporal logic Free variables and bound variables
214	Supplemental Material : A Unified Framework for Multi-Target Tracking and Collective Activity Recognition Wongun Choi and Silvio Savarese Electrical and Computer Engineering, University of Michigan, Ann Arbor, USA {wgcho Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2014-04-08 01:52:59 Flow network Network flow Function Linear temporal logic Mathematics Operations research Functions and mappings
215	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
216	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
217	Transformation Groups, Vol. 8, No. 4, 2003, pp. 321–332 c Birkh¨ auser Boston (2003) Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:47:05 Algebraic combinatorics Kazhdan–Lusztig polynomial Polynomials Representation theory of Lie algebras Representation theory of Lie groups Representation theory Symbol Dual space Linear temporal logic Abstract algebra Algebra Mathematics
218	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
219	Eisenstein Series* R.P. Langlands 1. Preliminaries. In these lectures I want to discuss, with some indications of proofs, some of the elementary facts in the theory of Eisenstein series. Although the discussion can be ca Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2004-09-28 00:33:01 Mathematics Symbol Representation theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Operator theory
220	Solving Infinite Games with Bounds Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:03:06 Linear temporal logic Temporal logic

UPDATE